#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>

int main()
{
	int n, k;
	while (scanf("%d%d", &n, &k) != EOF)
	{
		int count = 0;
		for (int i = 1; i <= n; i++)
		{
			for (int j = 1; j <= n; j++)
			{
				if (i % j >= k)
					count++;
			}
		}
		printf("%d", count);
	}
	return 0;
}